Theorem 9.7.
Assuming that:
[
K
:
ℚ
p
]
<
∞
Then
E
(
K
)
contains a subgroup of finite index isomorphic to
(
O
K
,
+
)
.