Created 24-Aug-14

Proofs