xのまま解くのはすごい気持ち悪く感じるんだよなぁ
共通解を持つという条件をこの式に押し込むことができて見通しが立てやすくなるし悪いことはないと思うんだけど
だってxのままの連立方程式だと共通解を持つことは保証されてないけどx=aという共通解が存在するということを明示することで代入した後は共通解という言葉を使わないで済むようになる