普罗斯定理

对于 ，其中 是 奇数 且 ，如果存在一个 整数 使得

则 是 素数。这种形式的素数被称为 普罗斯素数。