But to prove in exercise 6 that b^r = sup B(r) if r rational I think we could prove that more easily by showing that for every alpha < b^r is not an upper bound by reductio ad absurdum: we can suppose, for absurd, that it exists M < b^r such that for all b^x in B(r), b^x