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