Si formula_216, entonces el único elemento de formula_215 es claramente un mínimo de formula_206.