補題
「
補題
」というのは大きな
定理
を証明するための補助定理という意味だったし,今でも基本的にはそうだと思うが,いくつかの特別なケースでは,偉大な定理の尊称だ.
中山の補題 (Nakayama’s lemma),Zorn の補題 (Zorn’s lemma) という世界中の数学者が毎日お世話になる,あるいは学生時代に一度は触れる超有名なのもある.
https://www.web-nippyo.jp/19950/