theorem Th19: :: KURATO_1:19

Cl ((Cl (KurExSet `)) `) = [.4,+infty.[ by Th18, BORSUK_5:55;