素元の生成イデアルは素イデアル