proofs

proofs

working edits