theorem Th10: :: KURATO_1:10
Cl KurExSet = {1} \/ [.2,+infty.[