速度矢量沿封闭曲线 L 的环量等于涡量通过张于 L 上的曲面 S 的通量。