For example, formula_7 is not a UFD, because the element formula_8 equals the element formula_9 so that formula_8 and formula_9 are two different factorizations of the same element into irreducibles.
Если formula_6, причём элементы formula_7 попарно взаимно просты, тогда каждое из них имеет вид formula_8, где formula_9 — обратимые элементы кольца.