Theorem 12.1.
Assuming that:
E
∕
K
an
elliptic curve
L
∕
K
a finite Galois extension
Then
the natural map
E
(
K
)
n
E
(
K
)
→
E
(
L
)
n
E
(
L
)
has finite kernel.