Proof 1
Proof 2