Created 27-Sep-13

proofs