theorem Th63: :: KURATO_1:63

{KurExSet,(KurExSet `)} misses Kurat14OpPart KurExSet