Luego, formula_172 es irreducible en formula_151 Análogamente, se verifica que formula_182 es irreducible, u observando que formula_182 es un asociado de formula_184 ya que formula_185