Five lemma (source code)

= Five lemma
{c}
{wiki}

In a commutative diagram of two exact five-term sequences, if the first and fourth vertical maps are epimorphisms and the second and fifth are monomorphisms, then an isomorphism in the middle follows; in particular, four surrounding isomorphisms force the fifth.