theorem :: KURATO_1:32

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