theorem :: NUMBER14:65

multiples 1 = INT