Mordell's theorem Updated 2025-07-16
The number of points may be either finite or infinite. But when infinite, it is still a finitely generated group.
TODO example.