Theorem 9.7 Class 9 Proof