En primer lugar, observemos que si formula_118, cualquier cero de uno de los factores de formula_119 es también un cero de formula_119, por lo que podemos reducir nuestras consideraciones a polinomios irreducibles que además, sin perdida de generalidad, podremos suponer mónicos.