Created 2-Sep-14

proofs