Theorem 13.1.1 math 9th class