Theorem 10.13 Proof