Euclidean division
It is the main property of Euclidean division that the inequalities on the right define uniquely formula_5 and formula_6 from formula_7 and formula_8