>>15-16
ふっふ、ほっほ

・下記の通称5人論文 これは、元の望月IUTが、EXPLICITでは無かったところを
　Porowskiのアイデアで、“n-torsion point”をn 2→6 にして
　EXPLICITの理論にして、フェルマー最終定理の別証明を与えた
・まず、“n-torsion point”をn 2→6 にして EXPLICIT理論を構築できるということは
　もとの望月IUTがきちんとした理論であることの傍証になっている
・次に、5人連名の共同論文になっていることも理解しよう
　つまり、望月の独善ではなく、他の4人 POROWSKI、MINAMIDE、HOSHI、FESENKOたちは
　ちゃんと、望月IUTを理解してEXPLICIT ESTIMATES IUTの共同研究をしたってことだね

下記の5人論文を読みましょう！

(参考)
https://www.kurims.kyoto-u.ac.jp/~motizuki/Explicit%20estimates%20in%20IUTeich.pdf
EXPLICIT ESTIMATES ININTER-UNIVERSAL TEICHM¨ ULLERTHEORY (2022-05-18)
SHINICHIMOCHIZUKI, IVAN FESENKO,YUICHIROHOSHI, ARATAMINAMIDE,AND WOJCIECH POROWSKI

Introduction
Ｐ7
Thus, it is natural to pose the following question:
Is it possible to obtain a new definition of evaluation points that functions properly at arbitrary bad places by replacing the “2-torsion point” appearing in the [original] definition of an evaluation point by an “n-torsion point”, for some integer n>2?

Onefundamental 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 thenotionof 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].