複数辞典一括検索+

ほじょ‐ていり【補助定理】🔗🔉

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

広辞苑 ページ 18121 での補助定理単語。