Kategorie:Theorie der Primidealzerlegung bei endlichen Erweiterungen von Dedekindbereichen/Beweise