A diagram lemma which states that, given the above commutative diagram with exact rows, the following holds:
1. If is surjective, and and are injective, then is injective;
2. If is injective, and and are surjective, then is surjective.
This lemma is closely related to the five lemma, which is based on a similar diagram obtained by adding a single column.