How can you verify that [[$ x = 3 $]] is the correct solution to the pair of equations in the chapter's Example 1?