Sea formula_97 un entero cualquiera, la división por n, nos produce formula_98 y formula_99 tales que formula_100, con formula_101