Dicha función es un homomorfismo de grupos si se verifica que para todos los pares de elementos formula_4