Created 18-May-15

Proofs