>>13
そもそも

http://mathoverflow.net/questions/106560/philosophy-behind-mochizukis-work-on-the-abc-conjecture/107279#107279
Completely rewritten. (9/26) edited yesterday Vesselin Dimitrov

”Assumptions:
?A (Consequence of ABC) For all but finitely many elliptic curves over Q , the conductor
N and the minimal discriminant Δ satisfy log|Δ|<(log N)^2 .”
（引用おわり）

これ、>>126のSzpiro Conjecture を使うと思うんだけど、Szpiro Conjecture→上記Vesselin Dimitrovは従うの？　ここから分からん