Legyen $p$ pozitív prímszám, amihez van olyan $a$ pozitív egész, amire $2a^2-1$ osztható $p$-vel. Igazoljuk, hogy vannak olyan $b$ és $c$ egész számok, amelyekre $p=2b^2-c^2$.