素数的一个性质

设p是奇素数，记p-1=(2^k)*q,q是奇数。

设a是不被p整除的整数，则下述两个条件之一成立：

1,a^q  mod p=1

2,a^q,a^2q,a^((2^2)q)... ... a^((2^(k-1))q)之一模p余-1