Formaler Potenzreihenring/Eine Variable/Einsetzen ergibt Ringhomomorphismus/Fakt
Es sei ein Körper mit dem Potenzreihenring . Es sei eine Potenzreihe mit konstantem Term .
Dann definiert durch Einsetzen einen -Algebrahomomorphismus
Es sei 
![{\displaystyle {}K[\![T]\!]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7e991063a4560ec3010bd77a40fcccdae80316b7)
![{\displaystyle {}G\in K[\![S]\!]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8dda2142a62241338217d1f1cfdf39bf8f1babba)
Dann definiert 
![{\displaystyle K[\![T]\!]\longrightarrow K[\![S]\!],\,F\longmapsto F(G).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/14c840cdfe352678d6af13e4d3c730062e0335d2)