Created 10-Oct-12

proofs