Lemma 10.2. $E{(K)}_{\text{tors}}$ is finite.