Theorem 49:

49