Division mit Rest
Euclidean domains (also known as Euclidean rings) are defined as integral domains which support the following generalization of Euclidean division: