Para probar esto, necesitamos proporcionar isomorfismos η: "G" → "G" para cada grupo "G", tal que el diagrama antedicho conmuta.