Created 4-Nov-13

Proofs