Created 25-Nov-12

Proofs