ツォルンの補題なんて、代数の本見たらあちこちで使ってるけど。