diagram chasing in homological algebra
salamander lemma ⇒
3x3 lemma, nxn lemma
four lemma ⇒ five lemma
snake lemma ⇒ connecting homomorphism