Изменения
Нет описания правки
|definition=Пусть <tex>n</tex> {{---}} нечетное число, большее <tex>1</tex>. Число <tex>n-1</tex> однозначно представляется в виде <tex>n-1=2^sd</tex>, где <tex>d</tex> четно. Целое число <tex>a, 1<a<n</tex> называется свидетелем простоты числа <tex>n</tex>, если выполняется два условия:
#<tex>n</tex> не делится на <tex>a</tex>
#<tex>a^d\equiv 1\pmod n</tex> или существует целое <tex>r</tex>, такое что <tex>(a^d)^{2^r}=-1\pmod n</tex>
}}
[[Категория: Теория чисел]]
