X—7=9用解方程并检验怎么做?