Kategorie:Teilbarkeitstheorie in Hauptidealbereichen/Fakten