Division mit Rest
The Euclidean division of by may be written