theorem :: KURATO_1:44

Cl (Int KurExSet) <> Int KurExSet