:::基于离散对数的密码系统.1978年由 Stephen Pohlig 和 证明，如果 "p-1" 的所有质因数都小于 formula_28，那么解决模数为formula_1的 离散对数 问题就属于 P问题。所以，对于基于离散对数的密码系统，比如数字签名算法（即），我们就要求 "p-1" 至少要有一个大质因数。
其它.要注意的是，判断一个伪素数是否是强伪素数时，我们看的是它除以某个基数的幂之后的余数，而不是看它和相邻的伪素数的平均数那个较大。在数论中，如果一个素数刚好等于其