Supongamos, ahora, que formula_84 fuera una unidad de formula_151 Entonces hay un formula_165 tal que formula_166 Luego, tomando norma y usando que es multiplicativa, tenemos que