Sea formula_46 Sabemos que formula_42 es un dominio, ya que es un subanillo de formula_48