Theorem 9:

9