Theorem (Weak Mordell-Weil Theorem). Assuming that:

• $K$ a number field

• $E∕K$ a elliptic curve

• $n\ge 2$ an integer