B ` is dense by Th52, BORSUK_5:def 1, TOPMETR:17;
hence RAT is boundary Subset of R^1 by TOPS_1:def 4; :: thesis: verum