すべての元が素元の積でかけるなら、一意分解整域