theorem Th27: :: KURATO_1:27

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