If you solve a system and end up with the equations and , then the solution is . Here, if you substitute for y in the first equation and then simplify, you will end up with the equation . This equation is true regardless of the value of x.