Q[X,Y,Z]において、
I = (X^3 - 3X,
Y^3 - 3YZ^2 + Z^3 - 1,
3XY^2 - 3XZ^2 - 6YZ + 3Z^2 + 3,
3X^2Y - 6XZ - 3Y + 3Z)
は 極大イデアルであることを示せ。教えてください。よろしくお願いします。