为什么方程组有实数解等效于用代入法将两个方程合并后得到的一个方程有实数解?