Created 22-Nov-11

Proofs