set A = KurExSet ;
2 in [.2,+infty .[ by XXREAL_1:236;
then 2 in Cl KurExSet by Th12, XBOOLE_0:def 3;
hence Int (Cl (Int KurExSet )) <> Cl KurExSet by Th27, XXREAL_1:235; :: thesis: verum