An ideal m is maximal if and only if R / m is a field.
一个理想 m 是极大的当且仅当 R / m 是一个域。