We structurally analyze IUT's claimed proof of the ABC conjecture using four necessary conditions N1–N4, derived as the contrapositive of a no-go theorem for method class C. Under the IUT component classification of this paper, IUT does not exit C. By the no-go theorem, methods inside C cannot prove ABC. English and Japanese versions included.
Kuniyuki Hayashi (Mon,) studied this question.