Polynomring/Eine Variable/Variablenwechsel/Fakt

Sei ein kommutativer Ring und sei der Polynomring über . Es sei , wobei eine Einheit in sei.

Dann gibt es einen Ringisomorphismus