theorem :: NUMBER14:66

multiples (- 1) = INT