Como las unidades son divisores de cualquier elemento del dominio, tenemos que para todo unidad formula_84 y formula_4 no nulo, se cumple, por (i), que formula_86 En particular, lo anterior es válido para formula_87; pero como 1 es una unidad, para cualquier unidad formula_88 formula_89 Luego, formula_90 para toda unidad formula_91 Además, formula_92 es el menor valor asumido por formula_83 Es decir que el conjunto de los formula_94 formula_4 no nulo es un conjunto de números enteros acotado inferiormente por formula_96