Kategorie:Teilbarkeitstheorie in Hauptidealbereichen/Fakten mit Beweis