Template:Diagram-chasing lemma

This is a lemma involving commutative diagrams that can be proved by means of diagram chasing