proofs

proofs

edits

edits