Division algorithm for polynomials

Remarks

The polynomials $q$ and $r$ are the quotient and the remainder. Long division of polynomials computes them. Over a field $K$, every nonzero $g$ is a unit times a monic polynomial. So the statement holds for every nonzero $g \in K[x]$. For example, $x^3 + 1 = (x^2 - x + 1)(x + 1) + 0$ and $x^2 + 1 = (x - 1)(x + 1) + 2$. The statement fails for a divisor that is not monic: in $\mathbb{Z}[x]$, no $q$ and $r$ with $\deg r < 1$ give $x = q \cdot 2x + r$.