Observe que "f" es de hecho un homomorfismo de grupo de "G" en "H":