Theorem 10.3 Proof