Created 5-Nov-12

proofs