Corollary 4.3. $E(K)$ is an abelian group.