Proof 09-12.
Proof 13-18.