Lemma von Zorn
Zorn's lemma can be used to show that every nontrivial ring "R" with unity contains a maximal ideal.