Представление простых в виде суммы двух квадратов

Эта статья находится в разработке!

Лемма (Вильсон):

Если [math]p[/math] - простое, то [math](p-1)!+1[/math] делится на [math]p[/math].

Доказательство:

[math]\triangleright[/math]

При [math]p=2, p=3[/math] доказательство очевидно. Докажем для [math]p\geqslant 5[/math]

[math]\triangleleft[/math]