Theorem 10.8 Proof Part B