theorem Th19:
  A is connected implies Cl A is connected
proof
A1: A c= Cl A by PRE_TOPC:18;
  assume A is connected;
  hence thesis by A1,Th18;
end;
