Theorem 10.11 Proof