theorem :: KURATO_1:33

Int (Cl KurExSet) <> Cl KurExSet