，与路径无关。假设formula_8是三维空间内的一个区域，formula_9是formula_10内的一个可求长路径，其起点为formula_11，终点为formula_12。如果formula_13是保守向量场，那么：这是复合函数求导法则和微积分基本定理的结果。 一个等价的表述是，对于formula_10内的所有闭合路径，都有：以上的逆命题也是成立的，只要formula_10是连通区域。也就是说，如果formula_18沿着formula_10内的所有闭合路径的环量都是零，那么formula