沃德素性测试

设 为一个奇整数，并假设存在一个卢卡斯序列 ，其具有相关的西尔维斯特分圆数 ，使得存在一个 （其中 和 互素），对于该 整除 。 那么 是一个素数，除非它具有以下两种形式之一

1. ，其中 是素数且 ，或者

2. ，其中 和 是素数。