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