Изменения
→Теорема о ((\frac{p-1}{2})!)^2\equiv -1 (mod ~p) при p=4\cdot k+1
<tex>1\cdot 2\cdot \dots \cdot (2\cdot k)\cdot (-2 \cdot k)\cdot \dots \cdot (-1)\equiv -1 (mod~p)</tex>
<br>
Так как число отрицательных членов четно, все минусы сократатсясократятся, получим:
<br>
<tex>1\cdot 2\cdot \dots \cdot (2\cdot k)\cdot (2 \cdot k)\cdot \dots \cdot (1)\equiv -1 (mod~p)</tex>
