theorem Th23: :: KURATO_1:23

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