整列可能定理よりもZornの補題の方が遥かに「成り立ってそうな感じ」がする