Proofs

edits

edits