出典:デジタル大辞泉(小学館)

一つの定理を証明するために、補助として使う定理。補題。レンマ。