Legyen p 5-nél nagyobb prímszám. Bizonyítsuk be, hogy léteznek olyan a, b pozitív egészek, amelyekre 1<p-a2<p-b2, és (p-a2) osztója (p-b)2-nek.