I am trying to understand why, when solving a system of equations in two variables and have already solved for, say, $x$, it doesn't matter whether I plug into the first equation or the second to find $y$. I don't understand why it's not possible that the first equation and second equation can give me a different value of $y$ or, worse, why it isn't possible that when I plug the $(x,y)$ pair into the other equation, I won't get a contradiction.
Could someone please explain why this works?
