We need to prove this lemma before we can prove the main theorem.
この補題を証明しなければ、主定理を証明できない。
In computational linguistics, each inflected form of a verb is mapped back to its lemma for efficient text analysis.
計算言語学では、動詞の各活用形は効率的なテキスト分析のために見出し語(レマ)に変換される。