Yet every descending chain of (without loss of generality) proper submodules terminates: Each such chain has the form formula_8 for some integers formula_9, and the inclusion of formula_10 implies that formula_11 must divide formula_12.