代数曲線としてQ上y^2=x^3+1と同型なことから有理点もそれと無限遠点しかないことが分かる