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

theorem Th26:
  Int Cl KurExSet = ]. 2,+infty .[
proof
  set A = KurExSet;
  (Cl A)` = ]. -infty, 1 .[ \/ ]. 1, 2 .[ by Th10,BORSUK_5:63;
  then Cl (Cl A)` = ]. -infty, 2 .] by BORSUK_5:64;
  then (Cl (Cl A)`)` = ]. 2,+infty .[ by TOPMETR:17,XXREAL_1:224,288;
  hence thesis by TOPS_1:def 1;
end;
