>>130
>南出論文はCor3.12を前提したもの
>Cor3.12の証明はしてない

「維新さん」こと、おサル（又はサル石、>>4ご参照）
数学科修士の落ちこぼれが、何をとち狂っているの？

南出論文は、下記の通りIUTを全面的に書き直している
Cor3.12も、 “µ6-version” にバージョンアップしています

その過程で、IUTのI〜IV全部を見直しています
南出論文を読むと、望月IUTが何をやろうとしているのかが、良く分かります。おすすめです

なお、参考(>>5より)
http://www.kurims.kyoto-u.ac.jp/~motizuki/Explicit%20estimates%20in%20IUTeich.pdf
Explicit Estimates in Inter-universal Teichmuller Theory. PDF NEW!! (2020-11-30) いわゆる南出論文
(抜粋)

1．<“µ6-version”の発端>
P7
One fundamental observation - due to Porowski - that underlies the theory
of the present paper is the following:
n satisfies the conditions (1), (2) if and only if n = 6

2．<“µ6-version”の詳細>
P1
Contents
3. µ6-Theory for [EtTh] 22
4. µ6-Theory for [IUTchI-III] 25
5. µ6-Theory for [IUTchIV] 32
P32
Theorem 5.1. (Log-volume estimates for the “µ6-version” of Θpilot objects)
in the situation of the “µ6-version” of [IUTchIII], Corollary 3.12 [cf. Remark 4.2.6]

3．<なお、楕円曲線 y2 = x(x - 1)(x - λ)が、多用されています >
P5、P7 (Definition 1.7.) 、P34 (Corollary 5.2. (Construction of suitable µ6-initial Θ-data)) など

（まとめ）
1．南出論文はCor3.12を前提したものではありません。
2．Abstractより” In the present paper, we obtain various numerically effective versions of Mochizuki’s results. In order to obtain these results,
　we first establish a version of the theory of ´etale theta functions that
　functions properly at arbitrary bad places, i.e., even bad places that
　divide the prime “2”. ”
　とあります
3．[EtTh]からIUTを全部見直しています
4．南出論文には、IUTのエッセンスが凝集されていると見ました。わずか50ページの南出論文を読んでから、それと対比しながら必要に応じてIUTを読めば良いと思います。
　
（私は、チラ見しただけで、これが当たっているかどうかは、分かりません。でも、50ページくらいだから南出を読んで損はないでしょう。なお、私はIUTは読めませんのでｗ、判断は各自にお任せします）