proofs

proofs