Sea formula_10 un irreducible tal que formula_11 formula_12 divide a un elemento formula_4 de un DFU formula_14 Entonces, formula_15 (o un asociado) aparece en cualquier descomposición en irreducibles de formula_16