合并,移项和系数化为1的依据是什么?