Proofs

edits