Lemma von Zorn
The proof that the Hausdorff maximal principle is equivalent to Zorn's lemma is very similar to this proof.