Euclidean division
Die Division mit Rest hat die Eigenschaft, dass