theorem Th60: :: KURATO_1:60

card (Kurat14OpPart KurExSet) = 6