Theorem 12.1.4 math 9th class