$A$, boş olmayan sonlu bir tamsayı kümesi ise, $A$'ya ait elemanları toplamını $t(A)$ ile gösterelim ve $t(\phi )=0$ olarak tanımlayalım. Pozitif tamsayılardan oluşan öyle bir $X$ kümesi bulunuz ki, her $k$ tamsayısı için, $A_{k}$ ve $B_{k}$, $X$'in sonlu altkümeleri olmak üzere, $A_{k}\cap B_{k}=\phi $ ve $ t(A_{k})-t(B_{k})=k$ koşullarını sağlayan tek bir $(A_{k},B_{k})$ sıralı ikilisi bulunsun.