Let $k$ be a field and $A$ an abelian variety over $k$. Suppose that $B$ is an abelian subvariety of $A$. Consider the following fact:
There exists an abelian variety $C$ over $k$ and a surjective morphism $A\twoheadrightarrow C$ with kernel exactly $B$.
This is proved in section 9.5 of the book "Abelian varieties, theta functions and the Fourier transform" By Alexander Polishchuk on the way to proving Poincare reducibility. The proof there seems (to me) to be a bit complicated, so I'm wondering if anyone knows of a "simple" proof. I think I could probably devise a proof of the above fact using Poincare reducibility (employing the proof of the latter result in Milne's chapter of Cornell-Silverman, Proposition 12.1 to avoid circular logic), but somehow I'm not so satisfied by this as it seems like it ought to be an "easy" fact.