Created 8-Jun-12

Proofs