  We give a complete proof for the implication from the Manin-Mumford
conjecture to the Mordell-Lang conjecture in positive characteristic, using
integral models of semi-abelian varieties over a ring of formal power series,
and the machinery of jet schemes.
