Theorem 8.6 Class 9