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

theorem Th36:
  Int Cl KurExSet <> Int KurExSet
proof
  set A = KurExSet;
  5 in Int Cl A & Int A = ]. 4, 5 .[ \/ ]. 5,+infty .[ by Th18,Th26,
TOPS_1:def 1,XXREAL_1:235;
  hence thesis by XXREAL_1:205;
end;
