楕円曲線上の有理点の部分集合が件の加法演算に対して有限群を成すような条件っていままでどうやって見つけてたんだろうな…。不思議でならない。宇宙人が教えてくれたのかな…。