Formaler Potenzreihenring/Eine Variable/Kommutativer Ring/Fakt/Beweis/Aufgabe