例えば,素イデアルの冪が準素分解を持てば,その準素成分はのである.