Created 7-Sep-11

proofs