donde formula_38 es la aplicación identidad sobre formula_2 por la propiedad 1 de la definición de acción de grupo.