Created 28-Jun-15

Proofs