theorem Th43: :: KURATO_1:43

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