一意分解整域_(UFD)