birch说：“自发现椭圆曲线以来，很多数学家都在研究其中的各种性质。”

swinnertondyer说：“没错，其中一个就是关于上面点的运算。找到有理点后，再用加法运算去找下一个有理点，这样一直算下去，有很多个有理数点。”

birch说：“可不是！椭圆曲线，你带入有理点，当然算出来的也是有理点了。这些有理点之间可以形成阿贝尔群了。”

mordell说：“这个有理点的阿贝尔群，是有限生成的，数目也是有限的。”

法尔廷斯说：“没错，我证明了椭圆曲线上有理点是有限的。”

mordell说：“不错，你是怎么做到的？”