Kommutativer Ring/Modul/Endliche Länge/Über Kompositionsreihe/Fakt

Es sei ein kommutativer Ring und ein -Modul endlicher Länge.

Dann besitzt jede Kompositionsreihe von diese Länge.