Sea formula_1 un homomorfismo de grupos.