Lo que esto demuestra es que toda acción de grupo determina una aplicación formula_40 que hace corresponder a cada formula_29 el elemento formula_42.