日语 编辑

補助定理【ほじょていり】

引理。