theorem
  Cl Int Cl KurExSet <> Int Cl KurExSet
by Th27,XXREAL_1:236,Th26,XXREAL_1:235;
