Kategorie:Teilbarkeitstheorie in Hauptidealringen/Fakten mit Beweis