set A = KurExSet ;
3 in Int (Cl KurExSet) by Th26, XXREAL_1:235;
hence Int (Cl KurExSet) <> Int (Cl (Int KurExSet)) by Th25, XXREAL_1:235; :: thesis: verum