>>856
必要性
P_y = u_{xy} = Q_x

十分性
u(x,y) = ∫P(x,y) dx とおくと
u_y = ∫P_y dx = ∫Q_x dx = Q