Manin–Mumford conjecture for curves in their Jacobians

Let $C$ be an algebraic curve of genus $g \geq 2$, defined over a number field and embedded in its Jacobian $J$. Manin–Mumford conjecture. The set of torsion points of $J$ which lie in $C$ is finite. This conjecture was proved in 1983 by Raynaud, who generalized it to arbitrary subvarieties of an abelian variety; the corresponding general theorem describes the Zariski closure of the torsion points as a finite union of translates of abelian subvarieties by torsion points.