Kategorie:Modultheorie über Hauptidealbereichen/Beweise