モッチ「3.12の証明？ ホシちゃん、君はまだ PDF NEW !! (2020-03-22) を見ていないようだね」
ホシ「モッチ先生、まだ見てなかったです」
モッチ「NEW !! (2020-03-22)に書いたから、Corollary 3.12の証明は、もう秘密ではないのだよ」

http://www.kurims.kyoto-u.ac.jp/~motizuki/papers-japanese.html
望月新一論文
宇宙際Teichmuller理論
[3] Inter-universal Teichmuller Theory III: Canonical Splittings of the Log-theta-lattice. PDF NEW !! (2020-03-22)
http://www.kurims.kyoto-u.ac.jp/~motizuki/Inter-universal%20Teichmuller%20Theory%20III.pdf
P173
Corollary 3.12. (Log-volume Estimates for Θ-Pilot Objects) Suppose
that we are in the situation of Theorem 3.11. Write・・
P174
Proof. We begin by observing that, since |log(q)| > 0, we may assume without loss
of generality in the remainder of the proof that・・
P175
Now we proceed to review precisely what is achieved by the various portions of
Theorem 3.11 and, indeed, by the theory developed thus far in the present series of
papers. This review leads naturally to an interpretation of the theory that gives rise
to the inequality asserted in the statement of Corollary 3.12. For ease of reference,
we divide our discussion into steps, as follows.
(i) In the following discussion, we concentrate on a single arrow ・・
(ii) Whereas the units of the Frobenioids that appear in the・・
(iii) In the following discussion, it will be of crucial importance to relate・・
(iv) The issue discussed in (iii) is relevant in the context of the present・・
(v) Thus, we begin our computation of the 0-column Θ-pilot object in terms of
　・
　・
P185
(xii) In the context of the argument of (xi), it is useful to observe the important・・
QED