解方程后怎样验算