Unit in a polynomial ring (source code)

= Unit in a polynomial ring

If $R$ is an integral domain, the units of $R[x]$ are precisely the constant polynomials whose values are units of $R$.