補題

数学において、「補助定理」(英: helping theorem) あるいは補題 (英: lemma) とは、それ自体が興味深いステートメントと言うよりも、むしろ、より大きな結果を得る一歩として使われる、証明された命題である。 == 定理との比較 == 補題と定理の間に形式的な区別は全くなく、意図の違いのみである。