Dedekindbereich/Endliche Erweiterungen/Verzweigung/Aufgabe

Es seien und endliche Erweiterungen von Dedekindbereichen. Es sei ein Primideal von , das in verzweigt.

Zeige, dass dann auch in verzweigt.