Kategorie:Elementarteilersatz (Modultheorie über Hauptidealbereichen)/Beweise