Theorem 39:

39