theorem Th41: :: KURATO_1:41

KurExSet <> Int KurExSet