Kategorie:Idealtheorie in Dedekindbereichen/Beweise