If $K$ is a field. Then in $K[X]$ there is an Euclidean algorithm and if $K$ is replaced by any arbitrary commutative ring $R$, then almost we have an Euclidean algorithm, by the following result:
Theorem: Let $f,g\in R[X]$ be polynomials, and assume that the leading coefficient of $g$ is a unit in $R$. Then there exist unique polynomials $q,r\in R[X] $ such that $$f=gq+r$$ and $\deg(r)< \deg (g)$
If $g$ is any arbitrary polynomial, is the conclusion of the theorem false?
Thank you all.