有“费雷命题”，没有“谷山志村猜想”。

也没有解决“谷山志村猜想”的关键钥匙科利瓦金弗莱切算法。

但是沈欢手里有着最完整的“费马大定理”的证明过程，他就能运用科利瓦金弗莱切算法。

在过去的两个多月时间里，沈欢主要就是向狄维尔教授他们，讲述自己的这种“沈欢算法”，来研究这个“椭圆曲线”。

科利瓦金弗莱切算法，是另一个世界早就已经证明了会起关键作用的算法，所以在通过几十次的邮件交流、十几次的电话视频会议讨论之后，大家终于是开始接受了“沈欢算法”，并且积极的开始了对“沈欢猜想”的证明。

他们的证明，当然不可能成功。

因为沈欢还有另一个重要的的理论没有给出去。

那便是著名的“岩泽理论”。

“岩泽理论”的表述是，以两种不同方法定义的 p进数l-函数（模理论/插值法）应当相等，只要它们是明确定义的。

另一个世界的怀尔斯教授，最开始用的就是自己证明了“岩泽理论”的正确性，从而再用由“岩泽理论”转化而成的“马祖尔-怀尔斯定理”，去证明“谷山志村猜想”和“费马大定理”的关联，但是后来觉得不行，他便转而用了科利瓦金弗莱切算法，有那么一段时间，他都以为自己证明了。

结果被审查委员会的人证明了，单是用科利瓦金弗莱切算法，在欧拉系的构造上面，有着严重的缺陷，并不能证明“费马大定理”。

在痛定思痛的总结的时候，怀尔斯教授就干脆把“岩泽理论”和科利瓦金弗莱切算法结合起来证明，这下子就猛的水落石出，证明一下子豁然开朗，获得了正确的成功！

沈欢在这里还没有拿出“岩泽理论”，凡是用“沈欢算法”的人，都会在特殊的欧拉系上面出问题，无法证明“沈欢猜想”。