Created 5-Jun-13

proofs