Matematikawan sering menggunakan diagram yang disebut diagram komutatif untuk menjelaskan teorema semacam ini. Diagram berikut “komutatif” karena \(\psi = \eta \phi\text{.}\)