\( \definecolor{colordef}{RGB}{249,49,84} \definecolor{colorprop}{RGB}{18,102,241} \)
In the Euclidean division \(a = bq + r\) with \(b>0\), what is the mandatory condition for the remainder \(\textcolor{orange}{r}\)?