Kategorie:Theorie der Hauptidealbereiche/Fakten