Int KurExSet = ].4,5.[ \/ ].5,+infty.[ by Th18, TOPS_1:def 1;