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