等式的性质1是解方程移项的依据?