Sei
Dann ist für jedes beliebige ein Homomorphismus, denn für alle gilt
Nun hat im Fall aber auch eine Umkehrfunktion,
Sie ist ebenfalls ein Homomorphismus (in die entgegengesetzte Richtung), denn für alle gilt
Damit sind die beiden Homomorphismen und bijektiv und per Definition Isomorphismen.