可以用此方法鉴定质数：有一质数n，如果2^n -2不能被n整除，那么n一定是合数，否则n或者是质数或假质数。
剔除为数极少的假质数，所剩即为真质数了。用程序中的科学型计算器计算一下：(2^10003 -2)mod10003=126,即(2^10003-2)除以10003余126. 所以10003一定为合数，设数A是它的最小质因子。令10003=A×B，那么 ∵10003=A×B≥A² ∴√10003≈100.01499887516871836601803658278≥A。这说明只要对不大于100的质因子进行逐一试除就行了。
