Por tanto, formula_2 es una unidad del anillo de los enteros algebraicos.