Created 15-Feb-15

Proofs