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