todo elemento de A debe ser una unidad), y si así sucede formula_21 será un dominio euclídeo.