Theorem 7.2 Class 9