補助定理