Sea formula_4 un elemento que no es una unidad y sea formula_5 un divisor propio de formula_16 Entonces, hay un formula_22 tal que formula_23 Sean formula_24 formula_25 y formula_26 las descomposiciones de formula_27 formula_5 y formula_29 respectivamente.