Lemma 9.6.
Assuming that:
|
k
|
<
∞
Then
E
0
(
K
)
⊂
E
(
K
)
has finite index.