等式的性质与解X+a=b的方程