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