>>120で

> Koshikawa had a similar problem(3.11→3.12)、and when he asked Mochizuki about it, the latter responded that the deduction is self.evident.

・3.11 →3.12はself.evident
明らか自明だ。
3.11→3.11.5→3.12 、
中間に定理3.11.5を挟むことは
自明でなく後付けの誤魔化しだ