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