Created 5-Aug-14

Proofs