theorem :: KURATO_1:55

card (Kurat7Set KurExSet) = 7