Si resulta que formula_118 entonces el supremo resulta además ser un máximo del conjunto formula_109.