補ほ助じょ定てい理り

noun

lemma

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.