noun
In mathematics and logic, a lemma is a proven statement used as a stepping stone toward a larger result. The cross-reference レンマ is the katakana loanword for the same concept.
See also: レンマ
この補助定理を使って、主定理を証明します。
We will prove the main theorem using this lemma.
Katakana loanword for 'lemma', used in similar mathematical contexts. 補助定理 is the native Japanese term.
Compound of 補助 (assistance, auxiliary) and 定理 (theorem). The term is a calque from Western mathematical terminology.