Observemos que cuando formula_6 es una unidad, como formula_7 formula_6 es un divisor de cualquier elemento del anillo.