Para demostrar queϕ es inyectivo, supongamos quem yn son dos elementos enZ, dondem≠n. Podemos suponer quem>n. Debemos demostrar que\(...Para demostrar queϕ es inyectivo, supongamos quem yn son dos elementos enZ, dondem≠n. Podemos suponer quem>n. Debemos demostrar queam≠an. Supongamos lo contrario; es decir,am=an. en este casoam−n=e, dondem−n>0, lo que contradice el hecho quea tiene orden infinito.