Theorem 8.9 Class 9