一意分解環の基本的な性質と例