sup A can't be an upper bound for B anymore, because it is smaller than sup B (which is already the SMALLEST upper bound of B).

So therefore NOT all b are <= sup A.

=>

There exists a b , with b>sup A.

sup A is an upper bound of A, so b must also be an upper bound of A.