+ 1形式的数，其中"k"为奇数，且"k" < 2，那么如果对于某个整数"a"，有则"p"是素数。此时"p"称为普罗斯质数。这是一个有实际用途的方法，因为如果"p"是素数，任何选定的"a"都有百分之50的机会满足这个关系式。若"a"是是模p的二次非剩余，则上述定理的逆定理也成立，因此有一种可以找"a"的方式，就是在最小的质数中依序找"a"，计算雅可比符号，直到下式成立为止的素性测试是乱数演算法，可能会产生伪阳性的结果（不是素数的数却通过素性测试），根据普罗斯定理的演算法是拉斯维加斯算法，其答案都