Theorem 7.4 Class 9