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