Theorem 8.5 Class 9