関数体の場合にはABC予想は正しいと証明されてるわけだから
関数体版のIUTTで関数体ABC予想の別証明を与えてみたらどうだろう
abc予想の証明も見通しがよくなってわかりやすくなるのでは・・