Formaler Potenzreihenring/Eine Variable/Umkehrsatz/Fakt
Es sei ein Körper mit dem Potenzreihenring . Es sei eine Potenzreihe mit und .
Dann gibt es eine eindeutig bestimmte Potenzreihe mit
Es sei 
![{\displaystyle {}K[\![T]\!]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7e991063a4560ec3010bd77a40fcccdae80316b7)
![{\displaystyle {}G={\sum }_{j=0}^{\infty }b_{j}S^{j}\in K[\![S]\!]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d28b34b561b59155902deb08e3275c08009dc0bd)
Dann gibt es eine eindeutig bestimmte Potenzreihe
![{\displaystyle {}F\in K[\![T]\!]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f59e2f5bdcd45683ece296510ce607150127e5bb)
