ACT @ The Functorial
Nine lemma

Consider the following commutative diagram in an Abelian category:

If all columns are exact, and the second and third rows are exact, then the first row must be exact.

Reference

category: demo