theorem Th48:
  R is boundary iff Int R = {}
proof
  R is boundary iff R` is dense;
  then R is boundary iff Cl(R`) = [#] GX;
  then R is boundary iff (Cl R`)` = ([#] GX)` by SUBSET_1:42;
  hence thesis by XBOOLE_1:37;
end;
