Sea formula_9 un grupo y formula_17 un elemento del grupo.