This Demonstration solves a system of two linear equations with substitution. It solves the first equation for and then substitutes into the second equation. A new equation is then solved for . Two equivalent equations give the identity, so there are infinitely many solutions; in case of a contradictory (inconsistent) system, there are no solutions.