Neka je NN prirodan broj i neka je S={1,2,,N}S = \{1, 2, \ldots, N\}. Neka su ai,ja_{i,j} međusobno različiti realni brojevi takvi da za sve i,jSi, j \in S vrijedi: ako je i<ji < j, onda je ai,k<aj,kiak,i<ak,j,za svekS.a_{i,k} < a_{j,k} \quad \text{i} \quad a_{k,i} < a_{k,j}, \quad \text{za sve} \quad k \in S.

Neka je nn prirodan broj takav da je 2(n1)2<N2(n-1)^2 < N. Dokaži da postoje nn-člani podskupovi I,JSI, J \subset S takvi da vrijedi jedna od sljedeće dvije tvrdnje: