方程的验算