Notemos que la propiedad 2 de la definición de acción de grupo nos dice que formula_33 para cualesquiera formula_34, y con esto comprobamos de forma inmediata que cada formula_32 es una biyección, pues su inversa es formula_36