Created 6-Sep-14

proofs