set A = KurExSet ;
5 in [.2,+infty.[ by XXREAL_1:236;
then A1: 5 in Cl KurExSet by Th10, XBOOLE_0:def 3;
Int KurExSet = ].4,5.[ \/ ].5,+infty.[ by Th18, TOPS_1:def 1;
hence Int KurExSet <> Cl KurExSet by A1, XXREAL_1:205; :: thesis: verum