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.