set A = KurExSet ;
1 in {1} by TARSKI:def 1;
then 1 in Cl KurExSet by Th10, XBOOLE_0:def 3;
hence Cl (Int (Cl KurExSet)) <> Cl KurExSet by Th27, XXREAL_1:236; :: thesis: verum