整合性が取れてるからいいってもんじゃない
素因数分解の一意性の都合で決めてよいものじゃない　それは環論に対する冒とく