De este modo cualquier dominio euclídeo cumple con un principio similar al algoritmo de la división, como es el caso, por ejemplo, de un anillo de polinomios formula_14 en que formula_15 es un cuerpo.