Corollary 5.2. $\mathrm{Hom}(E_1,E_2)$ is a torsion free $\mathbb{Z}$-module.