IUT-Ⅲを使って、IUT-ⅣでABC予想の不等式をつくれば、IUT-ⅣにIUT-Ⅲが含まれる。

・I do not think that there is a real error internally in IUT IV.
→IUT IV.内に本当のエラーがないならば、過程のIUT-Ⅲにエラーがあってはいけない
→質問者のTheorem 1.10もエラーがあれば、IUT IV.内で本当のエラーを持つ
・"Joshi's version of Mochizuki's Corollary 3.12" (=Joshi's Theorem 9.11.1) has a purely local proof and hence cannot have the same content as Mochizuki's Corollary 3.12.
→ 望月の Corollary 3.12.は、Joshiの単なる局所不等式の和でない。

誰か違っていたらご指摘ください。。。