theorem Th45: :: KURATO_1:45

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