https://123dok.net/document/zgw351g2-torsion-points-abelian-varieties-span-class-mathjax-formula.html