Más aún, si "f" es un morfismo cuyo dominio es un grupo nilpotente de clase "n", entonces la imagen de "f" es nilpotente de clase a lo sumo "n".