基本補助定理
【きほんほじょていり】
【kihonhojoteiri】
基本引理