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

theorem Th31:
  Cl Int Cl KurExSet <> Cl Int KurExSet
proof
  set A = KurExSet;
  2 in Cl Int Cl A by Th27,XXREAL_1:236;
  hence thesis by Th24,XXREAL_1:236;
end;
