Theorem 12.1.6 math 9th class