方程的检验过程