沃德素性測試

設 為一個奇整數，並假設存在一個盧卡斯序列 ，其具有相關的西爾維斯特分圓數 ，使得存在一個 （其中 和 互素），對於該 整除 。 那麼 是一個素數，除非它具有以下兩種形式之一

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

2. ，其中 和 是素數。