theorem Th61: :: KURATO_1:61

{KurExSet,(KurExSet `)} misses Kurat14ClPart KurExSet