Si hubiera un x en A tal que x > S-k, entonces x>(S-k) >2, lo que no puede ser.