Theorem 10.4 Proof