Theorem 9.5 Class 9