theorem Th40: :: KURATO_1:40

Cl KurExSet <> KurExSet