Created 29-Jan-12

Proofs