Zorn's lemma
The proof of the isomorphism extension theorem depends on Zorn's lemma.