山志村猜想的证明思路，程诺和大部分前辈一样，把费马大定理当做其突破口。

用数学的语言来说，费马大定理是谷山志村猜想的必要不充分条件。

也就是说，谷山志村定理再经过一定的推导之后，可以证明费马大定理。

然而，费马大定理的存在，却不能证明谷山志村猜想的正确。

在一定意义上，费马大定理只能说明谷山志村猜想猜想在半稳定的椭圆曲线上成立。

但是，费马大定理对