Proofs

Edited