Created 30-Sep-14

Proofs