theorem
  Cl Int KurExSet <> Int Cl Int KurExSet
by Th24,XXREAL_1:236,Th25,XXREAL_1:235;
