解方程中对消是什么意思?