ABC予想
「a + b = cを満たす、互いに素な自然数の組 (a, b, c) に対し、
　積 abc の互いに異なる素因数の積を d と表す。
　このとき、任意の ε > 0 に対して、
　c > d^(1+ε)
　を満たす組 (a, b, c) は高々有限個しか存在しない」

もし
「任意の ε > 0 に対して、
　　c > d^(1+ε)
　（ｄは積 abc の互いに異なる素因数の積）
　を満たす組 (a, b, c) の全てを列挙するプログラム」
が書けるならそれがまさに
「疑いの余地がない、ABC予想の初等的証明」