Created 8-Sep-15

Proofs