Según la descomposición de una aplicación lineal existe un isomorfismo (luego una biyección) entre Z/"Ker f" e "Im f" es decir entre Z y Z× Z.