＜基本的な流れ＞

フェルマーの定理が偽と仮定すると、
フライ曲線が存在する。

フライ曲線は半安定な楕円曲線の一種である

フライ曲線はモジュラーではない

半安定な楕円曲線はモジュラーである

矛盾が生じた。
ゆえにフェルマーの定理は真。