Theorem 9.10 Class 9