Created 17-Oct-11

Proofs