Por lo tanto, llegamos a una contradicción, y la cota superior de un conjunto no es única.