theorem :: KURATO_1:42

Cl (Int KurExSet) <> Int (Cl (Int KurExSet)) by Th24, XXREAL_1:236, Th25, XXREAL_1:235;