ツォルンの補題
The proof of the isomorphism extension theorem depends on Zorn's lemma.