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

ほ‐だい【補題】 〔数〕(lemma)主たる命題を証明する準備としてあらかじめ証明される命題。補助定理。