Entonces, formula_627 para algún entero formula_104 menor o igual a formula_46.