Kevin and his little sister, Katy, are trying to solve the system of equations shown below. Kevin thinks the new equation should be , while Katy thinks it should be . Who is correct and why?

In order to solve the system of equations must be substituted in for .