Es sei R {\displaystyle {}R} ein kommutativer Ring und M {\displaystyle {}M} ein R {\displaystyle {}R} -Modul endlicher Länge.
Dann besitzt jede Kompositionsreihe von M {\displaystyle {}M} diese Länge.
