let A be Subset of R^1; :: thesis: ( A = RAT implies A is boundary )
assume A = RAT ; :: thesis: A is boundary
then A ` is dense by Th55, BORSUK_5:def 3, TOPMETR:24;
hence A is boundary by TOPS_1:def 4; :: thesis: verum