Euclidean division
Euclidean division is based on the following result, which is sometimes called Euclid's division lemma.