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