ツォルンの補題
Zorn's lemma can be used to show that every nontrivial ring "R" with unity contains a maximal ideal.