is conservative if we can find a scalar function
such that
. This would require



Integrate both sides of the first PDE with respect to
:
(*)
Differentiate both sides of (*) with respect to
:

Differentiate both sides of (*) with respect to
:

So we have

and so
is indeed conservative.