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