Es sei R {\displaystyle {}R} ein kommutativer Ring und R [ [ T 1 , … , T n ] ] {\displaystyle {}R[[T_{1},\ldots ,T_{n}]]} der Potenzreihenring über R {\displaystyle {}R} .
Dann ist