Theorem 10.14 Part b Discovery