補題
補題と定理の間に形式的な区別は全くなく、意図の違いのみである。
しかしながら、補題は定理の証明を助けることのみを目的とする(あまり重要でない)結果であり、証明へ至る道の途中に置かれた「飛び石」のようなものである。