Sea formula_5 un formula_1-grupo y sea formula_52 un elemento de formula_71