Ch'as consìdera n'ansem finì B e na fonsion con la propietà che për minca l'ansem h(G) a l'é finì e che për minca sot-ansem la cardinalità ëd B a l'é pì cita o ugual ëd cola ëd l'. Antlora a-i è n'iniession tal che

.

Ël nòm modìfica

Ël nòm dël problema a ven da soa antërpretassion tradissional, anté che B a l'é n'ansem ëd fieuj, G n'ansem ëd fije disponìbij e h a assigna a minca fieul l'ansem ëd fije che chiel a vorërìa marié.