補助定理

ほじょていり