補題

Lemma

ある定理を証明するための補助定理。レンマ。