Theorem 10.9 Proof