theorem Th59: :: KURATO_1:59

card (Kurat14ClPart KurExSet) = 6