補題
数学において、「補助定理」() あるいは補題 () とは、それ自体が興味深いステートメントと言うよりも、むしろ、より大きな結果を得る一歩として使われる、証明された命題である。