Theorem 9.9 Class 9