Si hay un primo formula_28 en formula_18 tal que formula_113 cuando formula_114, formula_115 y formula_116, entonces formula_31 es irreducible en formula_17 (y, pot lo tanto, en formula_13).