Created 7-Jun-12

proofs