Theorem 9.1 Class 9