Por el algoritmo de la división se deduce que formula_13 es un dominio euclídeo tomando como norma el valor absoluto.