theorem Th36: :: KURATO_1:36

Int (Cl KurExSet) <> Int KurExSet