Theorem 17:

17