Let $R$ be a Euclidean domain with degree function $\deg$. Is it true that in the division algorithm $$ a=bq+r$$ we can always **choose** some remainder $r$ so that $\deg (a-r) \le \deg a$ ? This is certainly not true of all possible remainders in a division, but for example in $\mathbb{Z}$ there is always at least one remainder with the above property. The same is true about the ring of polynomials over a field $F[x]$ and the ring of Gaussian integers $\mathbb{Z}[i]$. So is it true in any Euclidean domain? Or are there any counterexamples? And if so, is there any extra property of the domain or its degree function that guarantees the existence of such remainders (for example $\deg$ being multiplicative)?