あれ
IUT論文の目的はabc予想の証明でしょ。
cor3.12が導出できなくて証明できなければ論文の意味ないけど。
全く理解できない