そもそもABC予想というものを最初に考えついた人は
どういう理由とか動機で、そんな命題を思いついたの
だろうか、それが知りたいね。
　ほぼあるいは確実に正しいだろうと思われる命題を
自動的に機械的にいくらでも生成する方法が見つかれば、
それはまたすばらしいとはおもわないかね。
正しいと思われる命題を証明するのと、どちらが
価値のある行為なんだろうか？