任意の元は既約元の積に分解できる