Prove the theorem.

Printable View