Kategorie:Theorie der Hauptidealbereiche/Beweise