>>294の系

Artin環の素イデアルは極大である。