Division mit Rest
Let formula_17 with formula_18 be the Euclidean division of by formula_19 Setting formula_20 one gets