>>58-59
Nは乗法に関する単位元1を持つ単位的な可換環だから
可換環Nでは素因数(素元)分解の一意性が成立する