Is there a mistake in Mochizuki's proof of Theorem 1.10 in IUTT IV?

→ this discussion is not fruitful.

↑ I do not think that there is a real error internally in IUT IV.