Theorem 9.8 Class 9