Created 22-Sep-14

Proofs