Изменения
→Теорема Вильсона
'''p''' — простое <tex> \Leftrightarrow (p-1)! \equiv -1(mod \text{ }p)</tex>
Доказательство:
* <tex> \Leftarrow </tex> Если '''p''' — не простое, тогда <tex> (p-1)! \vdots p </tex>(кроме <tex> p = 4 </tex>), значит но -1 нам , в любом случае, мы не получитьполучим.
* <tex> \Rightarrow </tex>
