Vamos a verificar que se cumplen la propiedades 1 y 2 de la definición de acción de grupo: por supuesto formula_80 para todo formula_81, y para cualesquiera formula_34 tenemos formula_83 para todo formula_81.