five lemma

Noun

 * 1)  A particular lemma that claims the existence of a particular isomorphism in a commutative diagram given certain other homomorphisms in the diagram.