Dedekindbereich/Erweiterung/Separabel/Verzweigung/Endlich/Fakt

Es sei ${}R$ ein Dedekindbereich mit Quotientenkörper ${}K=Q(R)$ , es sei ${}K\subseteq L$ eine separable Körpererweiterung und ${}S$ der ganze Abschluss von ${}R$ in ${}L$ .

Dann gibt es nur endlich viele Primideale von ${}R$ , über denen Verzweigung stattfindet.