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