Theorem 7.1 Class 9