Kategorie:Teilbarkeitstheorie in Hauptidealringen/Beweise