formula_284 es un entero algebraico, ya que es un cero de formula_285