Neka je [latex]p \geq 3[/latex] prost broj i neka je [latex]a_1,a_2,\cdots , a_{p-2}[/latex] niz prirodnih brojeva, takav da za svaki [latex]k \in \{1,2,\cdots,p-2\}[/latex] vrijedi: niti je [latex]a_k[/latex], niti [latex]a_k^k-1[/latex] djeljiv s [latex]p[/latex]. Dokaži da je umnožak nekih članova ovog niza kongruentan [latex]2[/latex] modulo [latex]p[/latex].