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