Para probar la naturalidad, comenzamos con un homomorfismo de grupo "f": "G" → "H" η o "f" = "f" o η, es decir ("f"("a")) = "f"("a") para todo "a" en "G".