theorem :: KURATO_1:58

Kurat14ClPart KurExSet misses Kurat14OpPart KurExSet by Th57;