Theorem 4:

4