Esta es la expresión en términos analíticos de la unicidad de la factorización prima de los ideales formula_7.