Vandiver 判據

設 為一個 非正則素數，且設 為一個 素數，其中 。又設 為一個 整數 使得 (mod )。對於一個 非正則對 ，形成乘積

(1)

其中

			(2)
			(3)

如果對於所有這樣的 非正則對， (mod )，則 費馬最後定理 對於指數 成立。