Created 1-Sep-14

proofs