Kategorie:Theorie der Länge für endlich erzeugte Moduln/Beweise