theorem Th43: :: KURATO_1:43
Int (Cl (Int KurExSet)) <> Int KurExSet