Si formula_34 es ideal del cuerpo formula_21, entonces todo elemento no nulo formula_36 ha de tener inverso, formula_37, luego formula_38 es una unidad de formula_21 [esto es, formula_40], y se tendrá que formula_41, es decir, formula_42.