Created 12-Oct-15

Proofs