donde formula_6's y formula_7's son irreducibles, entonces se tiene que formula_8, y que cada formula_6 es un asociado de formula_10, posiblemente después de una reenumeración de los irreducibles formula_7's.