 Weak Mordell-Weil theorem

For an elliptic curve over a number field and an integer $n\ge 2$, the quotient $E(K)/nE(K)$ is finite. Combining this finite quotient with a height descent proves finite generation of $E(K)$.