Potenreihenring/Eine Variable/Einsetzen ergibt Ringhomomorphismus/Fakt

Sei ein Körper mit dem Potenzreihenring . Es sei eine Potenzreihe mit konstantem Term .

Dann definiert durch Einsetzen einen -Algebrahomomorphismus