Created 24-Sep-14

proofs