解方程怎么验算