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