Created 31-Oct-11

Proofs