set A = KurExSet ;
2 in Cl (Int (Cl KurExSet)) by Th27, XXREAL_1:236;
hence Cl (Int (Cl KurExSet)) <> Cl (Int KurExSet) by Th24, XXREAL_1:236; :: thesis: verum