theorem :: KURATO_1:28

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