Legyen p 3k+1 alakú prím. Igazoljuk, hogy léteznek olyan 0<a<b<p egész számok, amelyekre a3≡b3(modp).