>>628 追加
> ６．つまりは、p > 5で a^p+b^p=c^p→ 楕円曲線 y2=x(x-a^p)(x+b^p) →谷山・志村予想（モジュラリティ定理（ｑ展開））＋ε予想→フェルマーの最終定理解決
>　という流れだったのです

１．これを、IUTについて見るに
　p = 1で a + b = c → 楕円曲線 y2=x(x-a)(x+b) →谷山・志村予想（モジュラリティ定理（ｑ展開））＋ε'予想→スピロ予想解決
　となる。そういう流れではないかと（＾＾
２．で、”ε'予想＝IUT1〜4” なのです
３．要は、”p = 1で a + b = c”だけを眺めても、なかなか先が見えない
　同様に、”楕円曲線 y2=x(x-a)(x+b)”だけを 眺めても、なかなか先が見えない
　そこで、望月先生は、”谷山・志村予想（モジュラリティ定理（ｑ展開））＋IUT1〜4”という視点で、解決しようとしたのではないかと
　「ε'予想＝IUT1〜4」の前に、膨大な準備論文があると聞いていますが
４．私のこと？ 私は、細かいことはさっぱりです。ミーハーのヤジウマですから
　>>590 PROMENADE IN IUTなどが進むと、また何か解説の情報が入ってくるのではと、期待して待っています（＾＾
　IUTの原論文など、難しすぎ
　私には、とても、とても。まともには 読めませんよ。斜めからか、裏からか、後ろからかですなｗ（＾＾；
５．まあ、競馬の三冠馬同様です
「出遅れていた望月号、さあ、第四コーナーを回って、直線に入ってきた。懸命の追い込みだ。2022 モスクワICMのゴールを目指せ〜！」
　ですよ（＾＾

（参考）
https://ja.wikipedia.org/wiki/%E3%82%B9%E3%83%94%E3%83%AD%E4%BA%88%E6%83%B3
スピロ予想
(抜粋)
言明
任意の ε > 0 に対し、定数 C (ε) が存在して、有理数体 Q 上定義された全ての楕円曲線 E に対して、E の極小判別式を Δ で、導手を f で表すと、
｜Δ｜＜＝C (ε) ・f^(6+ε)
が成り立つ。

以上は有理数体における主張であるが、一般の代数体Ver.や関数体Ver.もある。関数体Ver.は、Szpiro の定式化のずっと以前に小平邦彦によって発見されており、その証明は易しい[1]。

ABC予想との関係
スピロ予想より強い以下の主張がABC予想と同値である[2]。
略
(引用終り)
以上