主部簡約定理