方程两边同时加上或减去相等的值或等式,方程仍然成立.详细。分开说。代入消元法，是把某一个未知数，用一个和他相等的值或式子替换,所以方程仍成立。加减消元法就是，在方程两边加或减去相等的两个量，所以方程仍成立。