そもそもどんな整域でも一意分解を持つならUFDなんて単語生まれないと思うんだけど