Equivalente, cada cadena creciente de submódulos llega a ser estacionaria en finitos pasos.