theorem Th26: :: KURATO_1:26

Int (Cl KurExSet) = ].2,+infty.[