Theorem 10.14 Part a Discovery