Since the first equality follows from the last two, for the diagram to commute it suffices to show (2) and (3).
Posto que a primeira se segue das dúa últimas para que o diagrama conmute basta con mostrar (2) e (3).