ya que formula_26, por lo que formula_1 es un subanillo de formula_3.