Si formula_50 es elemento primo del dominio íntegro formula_18, formula_70 y formula_71 entonces formula_50 es irreducible.