theorem :: KURATO_1:64

card (Kurat14Set KurExSet) = 14