>>107
コアの関数を使って等式扱うなら、あなたの期待するように、出来るだろう。

でも、コアの関数をそのまま遠アーベルで変換が難しいから、
被覆する関数で、上から抑えて、遠アーベル変換して、不等式を導くのは
証明ではなくて、上から抑えるｋとができる理論だから、
等式のようなは証明はできないだろ。

ＡＢＣ予想は、もともと不等式だから、この理論の
「遠アーベルで操作できる被覆する関数で、上から抑えて、遠アーベル操作」
という戦略で、ある誤差以下で抑えられることを証明して、不等式導きだしたのかな。

だから普通は「等式の証明」を期待して、僕も最初は読んだけど、一向に分からなくて、
「被覆関数からある誤差以下である」という証明のようだから、あなたの期待する姿と違ったのかもでは？