>>778
>＞ 5人共著の明示公式論文を出したし、
>上記の論文が、Cor3.12を前提してることすら

5人共著の明示公式論文が、望月IUTを前提にしていることは確かだが
「Cor3.12 ソックリそのままではない」という話は、過去にしたぞ。忘れたかい？ｗ

下記 divide the prime “2”→ n = 6 に変更して
関連するところを全部見直して、”μ6-Theory”に作り直している
Cor3.12や IUTのIIIが 理解できないなら、そんなことできないでしょｗ

(参考)
https://www.kurims.kyoto-u.ac.jp/~motizuki/Explicit%20estimates%20in%20IUTeich.pdf
[8] Explicit Estimates in Inter-universal Teichmuller Theory. PDF NEW!! (2021-12-08)

Contents
4. μ6-Theory for [IUTchI-III] 26
5. μ6-Theory for [IUTchIV] 32

P7
In §3, we establish a version of the theory of ´etale theta functions [cf.
[EtTh], [IUTchII]] that functions properly at arbitrary bad places, i.e., even
bad places that divide the prime “2”.

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

Following this observation, in Definition
3.3, we introduce a new version of the notion of an “´etale theta function
of standard type” [cf. [EtTh], Definition 1.9] obtained by normalizing ´etale
theta functions at points arising from 6-torsion points of the given elliptic
curve. In the remainder of §3, we then proceed to discuss how the adoption of
such “´etale theta functions of μ6-standard type” affects the theory developed
in [EtTh].