Notemos que el orden de la imagen de un homomorfismo es un divisor del orden del grupo.