proofs

proofs

working edits

working edits