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