ほじょ‐ていり【補助定理】 一つの定理を証明するために、補助として使う定理。補題。レンマ。