Es sei G = ∑ j = 0 ∞ b j S j ∈ C [ [ S ] ] {\displaystyle {}G={\sum }_{j=0}^{\infty }b_{j}S^{j}\in {\mathbb {C} }[\![S]\!]} eine konvergente Potenzreihe mit b 0 = 0 {\displaystyle {}b_{0}=0} und b 1 ≠ 0 {\displaystyle {}b_{1}\neq 0} .
Dann gibt es eine konvergente Potenzreihe F {\displaystyle {}F} , die die Umkehrabbildung zu G {\displaystyle {}G} beschreibt.
![{\displaystyle {}G={\sum }_{j=0}^{\infty }b_{j}S^{j}\in {\mathbb {C} }[\![S]\!]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/69e972fc233748f07adefe828f08776159cdd711)
