theorem Th25: :: KURATO_1:25

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