Neka je N prirodan broj i neka je S={1,2,…,N}. Neka su ai,j međusobno različiti realni brojevi takvi da za sve i,j∈S vrijedi: ako je i<j, onda je
ai,k<aj,kiak,i<ak,j,za svek∈S.
Neka je n prirodan broj takav da je 2(n−1)2<N. Dokaži da postoje n-člani podskupovi I,J⊂S takvi da vrijedi jedna od sljedeće dvije tvrdnje:
za sve i,k∈I vrijedi: ako je i<k, onda je ai,j<ak,l, za sve j,l∈J,
za sve j,l∈J vrijedi: ako je j<l, onda je ai,j<ak,l, za sve i,k∈I.