Formaler Potenzreihenring/Eine Variable/T+../Transformierbar auf T/Fakt

Es sei ein Körper, der Potenzreihenring über und mit und .

Dann definiert der durch definierte Einsetzungshomomorpismus einen -Algebraautomorphismus auf .