如何验证一个方程是全微分方程