Created 2-Jul-14

Proofs