Zorn's lemma
極大反鎖の存在はツォルンの補題による。