素（可以是0个）的乘积：其中formula_5是一个可逆元素，formula_6是不可约元素，formula_7是非负整数。并且如果存在formula_3的另一种表示法此表法formula_9（formula_10是可逆元素，formula_11是不可约元素），则formula_12，且存在一个下标的重排formula_13与可逆元素formula_14使得formula_15 （formula_16），换句话说，存在formula_13使得formula_18和formula_19相伴。Secti