Theorem 43 (Exercise):

43