ほじょ‐ていり【補助定理】 〔論〕(lemma ギリシア・ ラテン)一定の定理を証明するため便宜上設定される準備的な定理。これを証明したうえで、定理の証明に進む。予備定理。補題。 ⇒ほ‐じょ【補助・輔助】

ほじょ-ていり [3] 【補助定理】 〔lemma〕 主要な定理を証明するために，準備として証明され，使われる定理。補題。レンマ。