Esto es verdad puesto que "f" = "f" y cada homomorfismo de grupo tiene la propiedad ("f"("a")) = "f"("a").