Created 23-Jun-14

proofs