Dedekindbereich/Endliche Erweiterung/Verzweigungsordnung/Idealzerlegung/Diskreter Bewertungsring/Fakt/Beweis

Beweis

Dies beruht darauf, dass in die Ordnung besitzt, was auf Fakt  (1) beruht.