的formula_10边界而言，这是一个显着的改进。
演算法.整个演算法的操作如下：这里的 "ord"("n")是"n" mod "r"的阶。 另外，这里的"log" 代表以二为底的对数，formula_12则是"r"的欧拉函数。下面说明若"n"是个质数，那么算法总是会返回"质数"：由于"n"是质数，步骤1和3永远不会返回"合数"。步骤5也不会返回"合数"，因为(2)对所有质数"n"为真。因此，算法一定会在步骤4或6返回"质数"。对应地，如果"n"是合数，那么算法一定