読んでないから知らないんですが、IUTの論文においてABC予想はゴールじゃなくて「練習問題」みたいな感じで何かのついでに証明されてるんですか?