Theorem 14 (Exercise):

14