Euclidean division
This results immediately from the Euclidean division of by , which asserts the existence of and such that formula_7 and formula_8