Created 17-Sep-14

proofs