一个重要的反常积分证明是什么