在操场跑步时出现的。

  所以他有了每天早上去操场逛两圈的习惯。

  “假定d无平方因子，简单的初等考量显示d为同余数等价于椭圆曲线e_d: y^2=x^3-d^2x上有某个y \neq 0的有理点。可以证明这样的点不属于t，于是d为同余数又等价于r_d>0，决定所有同余数d，使得r_d>0，然后……，再这样，就能确定这个有理点是……”

  “唉，不，等等！”

  忽然，程诺的笔停住，目光微凝。

  他的嘴角一翘，喃喃自语，“我似乎，发现了一个什么了不得的东西。”