Es sei K {\displaystyle {}K} ein Körper, K [ [ T ] ] {\displaystyle {}K[\![T]\!]} der Potenzreihenring über K {\displaystyle {}K} und G = ∑ j = 0 ∞ b j T j {\displaystyle {}G={\sum }_{j=0}^{\infty }b_{j}T^{j}} mit b 0 = 0 {\displaystyle b_{0}=0} und b 1 ≠ 0 {\displaystyle b_{1}\neq 0} . Dann definiert der durch T ↦ G {\displaystyle {}T\mapsto G} definierte Einsetzungshomomorpismus einen K {\displaystyle {}K} -Algebraautomorphismus auf K [ [ T ] ] {\displaystyle {}K[\![T]\!]} .