Theorem 29 (Exercise):

29