Es sei K {\displaystyle {}K} ein Körper und R = K [ [ T ] ] {\displaystyle {}R=K[\![T]\!]} der Potenzreihenring in einer Variablen. Dann ist R {\displaystyle {}R} ein diskreter Bewertungsring.