補題
Ｚｏｒｎ、ツォルン、三角法、縄跳び、ケーニヒ、Ｓｔｅｉｎ、ＦＡＴＯＵ、微分、伊藤、蛇