Created 14-Oct-12

Proofs