Diagram-chasing Definition

noun

(mathematics, somewhat informal) Proof in stages, each of which, in general, depends on the previous stages and can be visualized by means of a diagram of morphisms.

To prove the five lemma, just use diagram chasing.
Wiktionary