Theorem 7.5 Class 9