Mordell's Theorem

Theorem
Let $C$ be an elliptic curve over $\Q$.

Then the group of rational points on $C$ is a finitely generated abelian group.

Also see

 * Mordell-Weil Theorem, a more general form