How do we make sure that the solution we find for an equation is correct? Accidentally adding when we meant to subtract, missing a negative when we distribute, forgetting to write an from one line to the next are some of the many possible mistakes to watch out for!

Fortunately, each valid step we take to solve an equation results in a new equation with the same solution as the original. This means that we can check our work by substituting the value of the solution into the original equation. For example, suppose we solve the following equation:

Because the last equation shows that equals 3, and because valid steps make equivalent equations, we can use the equivalence in the original equation to check that all of the steps are valid. Substituting 3 in place of into the original equation,

we get a statement that isn't true! This tells us we must have made a mistake somewhere. Checking our original steps carefully, we made a mistake when distributing -3. Fixing it, we now have

Substituting -3 in place of into the original equation to make sure we didn't make another mistake:

This equation is true, so is the solution.