,
όπου n = 0, 1, 2, 3 ή
4.12.11. Eστω
φ : Z7 ® Z5
ομομορφισμός.
Εστω ,
όπου n = 0, 1, 2, 3 ή
4.
Aπό το θεώρημα
12.1, 
.
Επεται ότι το 5 διαιρεί το n, και έτσι n = 0.
Αρα
,
και η φ
είναι μηδενική
συνάρτηση.
Ετσι υπάρχει μόνο ένας ομομορφισμός Z7 ® Z5.