Изменения

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