Created 18-Mar-14

Proofs