Para todos los grupos abelianos "X", "Y" y "Z" tenemos un isomorfismo de grupos