Division mit Rest
As for the integers, the Euclidean division allows us to define Euclid's algorithm for computing GCDs.