theorem :: KURATO_1:39

Int KurExSet <> Cl KurExSet