reserve T for non empty TopSpace;
reserve A for Subset of T;

theorem Th21:
  Cl (Cl (Cl KurExSet`)`)` = ]. -infty, 4 .] by Th20,BORSUK_5:51;
