Formaler Potenzreihenring/Eine Variable/Diskreter Bewertungsring/Fakt/Beweis/Aufgabe