Weak Mordell-Weil theorem
= Weak Mordell-Weil theorem
{c}
For an elliptic curve over a number field and an integer $n\geq2$, the quotient $E(K)/nE(K)$ is finite. Combining this finite quotient with a height descent proves finite generation of $E(K)$.