Vandiver 判据

设 为一个 非正则素数，且设 为一个 素数，其中 。又设 为一个 整数 使得 (mod )。对于一个 非正则对 ，形成乘积

(1)

其中

			(2)
			(3)

如果对于所有这样的 非正则对， (mod )，则 费马最后定理 对于指数 成立。