es válida para cualquier número formula_1 no divisible por formula_2.