ツォルンの補題
この事実と（半順序集合を適切に取って）ツォルンの補題を合わせれば代数拡大の存在がいえる。