El diagrama precedente es conmutativo en el sentido siguiente: