Si para algún entero formula_190, formula_199 es irreducible en formula_204, entonces formula_31 es irreducible en formula_15; donde formula_207 es la reducción de los coeficientes módulo formula_190.