proofs2

proofs2