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

theorem Th17:
  Cl KurExSet` = ]. -infty, 4 .] \/ {5} by Th16,BORSUK_5:67;
