Created 11-Oct-14

proofs