>>363
素直なよい子だね
それを代数体の整数環でやったらどうかな
そこでも素因数分解の一意性はなりたつかな