theorem :: KURATO_1:34

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