Weak Mordell-Weil theorem (source code)

= 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)$.