Polynomring/Primelement bleibt prim/Fakt

Es sei ein kommutativer Ring und sei der Polynomring über . Es sei ein Primelement.

Dann ist auch in prim.