>>116
一意分解整域の任意の元が0でも単元でもないなら素元の積で表せて、その表し方が（積の順序を除いて）一意というのが素元分解の一意性
単元×素元が素元でも、単元は素元でないから、上記の一意性になんら影響無し