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

theorem Th12:
  Cl (Cl KurExSet)` = ]. -infty, 2 .] by Th11,BORSUK_5:64;
