Suppose that .

If then by definition of supremum and infimum is not an upper bound of A, so but c is not a lower bound of B. That means , but that means d is a upper bound of A which is impossible because . That means that .

This time suppose that which implies .

But this means that is an upper bound for A but it cannot belong to B. That is a contradiction. Thus .