Por ejemplo, cuando formula_1 es un dominio íntegro, formula_3 también lo es, y las unidades de formula_3 son las mismas que las de formula_1.