消去法が解集合を保つことを証明せよ。