Fermat小定理:
若n是素数，则对满足1≤a≤n-1的整数a，有a^(n-1)mod n=1;
逆否命题：
a^(n-1)mod n ！=1 ，则 n 为合数。
逆命题不一定成立：
满足 a^(n-1)mod n=1，n 既可能是 素数 ，也可能是 合数 ，不过很大几率是 素数
总而言之：
如果 n 是质数 ，则一定有 a^(n-1)mod n=1
如果 n 不是质数 ，则 a^(n-1)mod n=1 也有可能成立，但是几率很小
如果 a^(n-1)mod n=1 成立，则 n 有 较大概率是 素数。
注：
符合费马小定理而非素数的数叫做Carmichael（卡迈克尔数）.
前3个Carmichael数是561,1105,1729，Carmichael数是非常少的。
在1~100000000范围内的整数中，只有255个Carmichael数。