As we can see, it does not matter whether you plug in x or y in a system of equatins. One thing somebody might be skeptical about in this equation is that one of the equations does not contain a variable. BUT, if reading closer, one can see that both x and y have to be in one of the equations to make the other true.