Sei f ein Gruppenhomomorphismus auf (ℤ, +).
Für jedes n ∈ ℤ gilt f(n) = f(n + 0) = f(n) + f(0). Also ist
(1) f(0) = 0.
Für jedes n ∈ ℤ gilt 0 = f(0) = f(-n + n) = f(-n) + f(n) wegen (1). Also ist
(2) f(-n) = -f(n) für jedes n ∈ ℤ.
Sei f(1) = n. Dann ist f(-1) = -n wegen (2).
Außerdem ist
f(m) = f(∑i=1..m1) = ∑i=1..m f(1) für jedes m∈ℤ mit m > 0
und
f(m) = f(∑i=1..-m -1) = ∑i=1..-m f(-1) für jedes m∈ℤ mit m < 0.
Also ist f durch f(1) eindeutig bestimmt.