Theorem 10.2 Proof