proofs

proofs

Working edits

Working edits