theorem
  for A being Subset of T st A is condensed holds Cl A` is
  closed_condensed by Th16,Th24;
