De manera que formula_23 no es entera y por tanto formula_12 tiene al menos una raíz.