>>782
「 In parts II and III, with the exception of the critical Corollary 3.12,
the reader will not find any proof that is longer than a few lines;
the typical proof reads “The various assertions of Corollary 2.3 follow immediately
from the definitions and the references quoted in the statements of these assertions.”
, which is in line with the amount of mathematical content. 」

「part IV contains certain technical computations standard in number theory to translate Corollary 3.12 of part III into the ABC conjecture. 」

・cor.3.12について

「at some point in the proof of Corollary 3.12, things are so obfuscated that
it is completely unclear whether some object refers to the q-values or the
Θ-values, as it is somehow claimed to be definitionally equal to both of them, up to some blurring of course, and hence you get the desired result.」

https://zbmath.org/07317908