Created 2-Jul-14

proofs