Sei ${\displaystyle {}R}$ ein kommutativer Ring. und sei ${\displaystyle {}S\subseteq R}$ ein Unterring.

Dann ist auch ${\displaystyle {}S[X]}$ ein Unterring von ${\displaystyle {}R[X]}$.