theorem Th24: :: KURATO_1:24

Cl (Int KurExSet) = [.4,+infty.[ by Th18, BORSUK_5:55, TOPS_1:def 1;