Proof 19-26.
Proof 27-31.