Theorem 9.7 Proof Class 9