Theorem 10.7 Proof