Luego, para todo x en A, x ≤ S-k, o sea S-k es una cota superior de A.