Noun
the five lemma (singular only, mathematics) A particular lemma that claims the existence of a particular isomorphism in a commutative diagram given certain other homomorphisms in the diagram.