展开 levi逐项积分定理