>>196
1. まず、Corollary 3.12は何を言っているのか

IUT III の Corollary 3.12 は
「Log-volume Estimates for Θ-Pilot Objects」
と呼ばれています。

ものすごく大雑把にすると、

Θ側の量≲q側の量

という非常に重要な評価不等式を得ようとしています。

そして、この不等式が得られると、そこからSzpiro予想、さらにABC予想へとつながります。
つまり名前は「Corollary（系）」ですが、実際にはABC証明の中心的な部分です。