Kategorie:Teilbarkeitstheorie in Hauptidealbereichen/Beweise