>>712
素因数分解の一意性が全ての代数体で成り立つのではないってことは知ってるよね?
Z[√5]とか。

一意性が不成立なら納得できるの?