theorem Th38: :: KURATO_1:38

Cl (Int KurExSet) <> Cl KurExSet