Theorem 10.8 Proof Part a