Potenzreihenring/Komplettierung/Fakt

Es sei ein kommutativer Ring.

Dann ist die Komplettierung des Polynomringes am Ideal

isomorph zum Potenzreihenring .