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,j∈Si, j \in S vrijedi: ako je i<ji < j, onda je ai,k<aj,kiak,i<ak,j,za svek∈S.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(n−1)2<N2(n-1)^2 < N. Dokaži da postoje nn-člani podskupovi I,J⊂SI, J \subset S takvi da vrijedi jedna od sljedeće dvije tvrdnje: