Multiplicando por 4, obtenemos formula_30 que tendrá una solución entera de 1 o 3 si el polinomio original tenía una raíz racional del tipo que buscamos.