Puesto que formula_5 es la única cota superior de formula_1, formula_5 es el mayor de todos los elementos de formula_16, y no existe ningún formula_17 siendo cota superior de formula_16, pues de existir, lo sería también de formula_1 y hemos supuesto que sólo había una cota superior para formula_1.