  The Manin-Mumford conjecture in characteristic zero was first proved by
Raynaud. Later, Hrushovski gave a different proof using model theory. His main
result from model theory, when applied to abelian varieties, can be rephrased
in terms of algebraic geometry. In this paper we prove that intervening result
using classical algebraic geometry alone. Altogether, this yields a new proof
of the Manin-Mumford conjecture using only classical algebraic geometry.
