一元一次方程移项的依据是什么