葛兰威尔法则

葛兰威尔法则（Granville's Law）是一个数论定理，它提供了一种判定一个数是否为质数的方法。该定理由加拿大数学家安德鲁·格兰维尔（Andrew Granville）于1989年提出。

葛兰威尔法则的原理是：如果一个自然数n满足以下两个条件，则n为质数：

1. 对于所有小于n的素数p，都有n mod p ≠ 0（即n不能被小于n的任何素数整除）；
2. 对于所有小于n的素数p，都有n mod (p-1) = 1。

这个定理的证明较为复杂，但它可以用来快速地判定较小的质数，特别是在计算机算法中。