edits

edits

proofs

proofs