解方程怎样写出验算过程?