  If A is an abelian variety over a number field K, and L is a (possibly
infinite) extension of K generated by torsion points of A, then the quotient of
A(L) by its torsion subgroup is a free abelian group.
