Poincaré's Theorem

If  (i.e.,  is an irrotational field) in a simply connected neighborhood  of a point , then in this neighborhood,  is the gradient of a scalar field ,

for , where  is the gradient operator. Consequently, the gradient theorem gives

for any path  located completely within , starting at  and ending at .

This means that if , the line integral of  is path-independent.