>>39
そうかな？

で、Theorem 1.10 from Mochizuki's IUTT-IVに反例があり、成り立っていないと言っているみたい>>13
http://mathoverflow.net/questions/106560/philosophy-behind-mochizukis-work-on-the-abc-conjecture/107279#107279
より抜粋

?Finally, (d) of IUTT-I, Def. 3.1 is satisfied upon excluding at most four of Masser's examples E . (See page 37 of IUTT-IV).
・・・
Thus Masser's examples yield infinitely many counterexamples to Theorem 1.10 of IUTT-IV (as presently written).
（引用おわり）

これを素直に読むと、Vesselin Dimitrovの判例は、IUTT-I, Def. 3.1に原因があるとも読める
とすると、４うの論文のうち最初のIUTT-Iから問題になっているのかもしれない

それを分かっておいらにいちゃもんつけているの？
最初のIUTT-Iから問題があるとなると、４編の論文はぜんぶパー。もし上記の通りなら、論理的にはそうなるけどどうよ？