Lo cual es posible, ya que formula_5 es un abierto de formula_6.