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

theorem Th14:
  Cl (Cl (Cl KurExSet)`)` = [. 2,+infty .[ by Th13,BORSUK_5:49;
