Created 9-Jun-15

Proofs