set A = KurExSet ;
(Cl KurExSet) ` = ].-infty,1.[ \/ ].1,2.[ by Th12, BORSUK_5:95;
then Cl ((Cl KurExSet) `) = ].-infty,2.] by BORSUK_5:96;
then (Cl ((Cl KurExSet) `)) ` = ].2,+infty.[ by TOPMETR:24, XXREAL_1:224, XXREAL_1:288;
hence Cl (Int (Cl KurExSet)) = [.2,+infty.[ by BORSUK_5:75, TOPS_1:def 1; :: thesis: verum