有源矢量场的散度本质是通量的（），因而有源矢量场散度的体积分等于其闭曲面积分，这个定理称为（）。