可換環 $R$ のイデアル $I$ が極大イデアルであるとき、剰余環 $R/I$ はどのようになるか。

イデアルが極大であることと、剰余環が体であることは同値である。