theorem :: KURATO_1:37

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