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.