theorem Th10: :: KURATO_1:10

Cl KurExSet = {1} \/ [.2,+infty.[