In article ,
Dave Seaman wrote:

Let A be a commutative ring with unity. Then A[X] is the ring of
polynomials in X over A. It consists of all linear combinations of the
primitive monomials, which have the form

a * X^k

for a in A and k in N. Thus, -X^2 is the primitive monomial (-1) * X^2,
where -1 is the inverse of the identity 1 in A.

Here I have followed the treatment in Lang, simplified by considering
only the case of polynomials in a single symbol X rather than a set of
symbols S.

Still a tautology...<g