theorem Th29: :: KURATO_1:29

Cl (Int (Cl KurExSet)) <> Cl KurExSet