theorem :: KURATO_1:30

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