proofs1

proofs1