Proofs

Proofs #1

Proofs #2