set A = KurExSet ;
(Cl ((Cl (KurExSet ` )) ` )) ` = ].-infty ,4.[ by Th21, TOPMETR:24, XXREAL_1:224, XXREAL_1:294;
then A1: Cl ((Cl ((Cl (KurExSet ` )) ` )) ` ) = ].-infty ,4.] by BORSUK_5:77;
Cl (Int KurExSet ) = Cl ((Cl (KurExSet ` )) ` ) by TOPS_1:def 1;
then Int (Cl (Int KurExSet )) = (Cl ((Cl ((Cl (KurExSet ` )) ` )) ` )) ` by TOPS_1:def 1;
hence Int (Cl (Int KurExSet )) = ].4,+infty .[ by A1, TOPMETR:24, XXREAL_1:224, XXREAL_1:288; :: thesis: verum