theorem Th31: :: KURATO_1:31

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