130-x=45解方程,要写出检验过程