https://123dok.net/document/yev17eje-heights-algebraic-points-subvarieties-abelian-varieties.html