Theorem 9.6 Class 9