楕円曲線y^2=x^3-x+9上には、
±(0，3)，±(1，3)，±(1，-3)，±(9，27)，
±(35，207)，±(37，225)，±(46584，10054377)
および無限遠点の計15個もの
整数点が見つかるとのことです．