Created 14-Nov-12

Proofs