Theorem 9.7 Class 9