Theorem 10.14 Part c Discovery