一意分解環(UFD)の定義と判定条件