IUTってABC予想の証明以外に何か応用あるの?