Neka su mm, nn i kk prirodni brojevi i neka su p1,p2,…,pnp_1, p_2, \ldots, p_n brojevi 1,2,…,n1, 2, \ldots, n u nekom poretku. Ako za svaki i∈{1,2,…,n}i \in \{1, 2, \ldots, n\} vrijedi

k∣(m+pi−i),k \mid (m + p_i - i),

dokaži da je barem jedan od brojeva mm i nn višekratnik broja kk.