Theorem 16.1.2 math 9th class