フライは保型性の予想から、フェルマーの最終定理が導かれる可能性を示唆して世間を大いに驚かした。

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

１９８５年，フライが，もし，ａ^n＋ｂ^n＝ｃ^nを満たす解があるとすると，楕円曲線

　ｙ^2＝ｘ（ｘ−ａ^n）（ｘ＋ｂ^n）

が得られる．しかし，これは極めて異様なことと考えられた．

彼の楕円曲線は話がうますぎて、信じられない性質をもっていることに気づいたのである。

例えば、多項式

（ｘ−ａ^n）（ｘ＋ｂ^n）＝ｘ^2-ｘ（ａ^n-ｂ^n）-ａ^nｂ^n

の根の存在を決定する判別式

Δ＝（ａ^n-ｂ^n）^2+4ａ^nｂ^n

Δ^1/2＝ａ^n+ｂ^n＝ｃ^n

は完全なｎ乗式なのである。

楕円曲線の判別式は(ａ^nｂ^nｃ^n)^2で、これは整数ｎの2乗となっている。ところがレベルが２の保型形式は存在しないのである

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

１９８６年，リベットはフライの状況証拠説を証明，

フライ曲線がモジュラー関数によってパラメライズされえない、すなわち，谷山・志村予想が正しければフェルマー予想も正しい

ことを意味する．いまやこの問題は谷山・志村予想を証明するだけという状況になった。

そして、１９８６年，ワイルズが谷山・志村予想を証明，したがって，フェルマー予想も正しい．

ａ^p＋ｂ^p＝ｃ^pを満たすような楕円曲線：

　　ｙ^2＝ｘ（ｘ＋ａ^p）（ｘ−ｂ^p）

が保型関数によってパラメトライズできないことの証明がフェルマーの最終定理の証明に繋がるのですが，楕円曲線の有理点の有無ではなく，楕円曲線そのものが存在しないことを示すのです．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝