Formaler Potenzreihenring/Eine Variable/Diskreter Bewertungsring/Fakt/Name/Inhalt

Es sei ein Körper und der Potenzreihenring in einer Variablen. Dann ist ein diskreter Bewertungsring.