Theorem 8.1 Class 9