Theorem (Mordell-Weil Theorem). Assuming that:

$K$ a number field
$E ∕ K$ an elliptic curve

Then

E (K)

is a finitely generated abelian group.