Si formula_20 es un polinomio con coeficientes enteros y con "a" y "a" distintos de cero, entonces por el teorema de la raíz racional, todas las raíces racionales reales serán de la forma "p"/"q", donde "p" es un entero divisor de "a" y "q" es un entero divisor de "a".