预言之子是哈利波特还是纳威（Wolstenholme猜想）

1862年，英国数学家Wolstenholme发现了一个有趣的定理。

与此同时，他还提出了两个等价的定理，都非常简洁，很容易理解，关键是特别好玩。

这个定理是各种论文非常喜欢讨论的话题，从各个角度去证明，不过说实话，我一个也看不懂，连它们三个是等价都看不出来。想看证明的朋友可以自行购买上书阅读，我就不抄书了（我看不懂）。

但我看出来了，后面两个等价命题只是看起来好玩，实用性远不如第一个定理的表达形式。我们可以稍微找些数来验证。

（以下计算Excel已经搞不定了，需要用计算器，百度“组合数计算器”和“取模计算器”即可）

好了，正面证明已经完成，反过来呢？

如果能证明

那我们岂不是找到一个素数的验证定理了！

很遗憾，到目前为止，还没有人证明这个性质，所以，它还只能被称为Wolstenholme猜想。Wolstenholme自己只证明了猜想的一半，还有一半需要数学家再接再厉，我相信，应该存在非常漂亮非常简洁的证明形式。

能找到反例也行啊，遗憾的是：反例没找到。