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