解方程时合并含有x的项的理论依据是