theorem
  [#]X is everywhere_dense
proof
  Int [#]X = [#]X by TOPS_1:15;
  then Cl Int [#]X = [#]X by TOPS_1:2;
  hence thesis;
end;
