Created 26-Sep-14

proofs