補助定理 (ほじょていり) — lemma | Kumi Dictionary