Created 15-Jul-14

Proofs