Изменения
Нет описания правки
Если <tex>p\equiv 1(mod 4),p\in\mathbb{P}</tex>, то оно представимо в виде суммы двух квадратов.
|proof=
Из леммы Вильсона <tex>(p-1)!\equiv 1(mod p) \Rightarrow (4n)!+1\equiv 1 (mod p) \Rightarrow </tex>. Следовательно <tex>1\cdot 2\cdots (2n)\cdot(p-2n)\cdots(p-1)+1 \equiv ((2n)!)^2+1(mod p)</tex>. Теперь говорим, что <tex> N = (2n)!</tex>, тогда <tex>N^2 \equiv -1(mod p)</tex>.
}}
