proofs

proofs2