ツォルンの補題
はツォルンの補題に似た初期の定理である。