>>12
この定理は成り立つと認めて、道具として利用したことはないのか？
ツォルンの補題とかヤバすぎると思うが…。