Proofs #1

Proofs #2