theorem Th51:
  RAT is dense Subset of R^1
proof
  Cl B = the carrier of R^1 by BORSUK_5:15;
  hence thesis by TOPS_3:def 2;
end;
