Which of the following equations shows how substitution can be used to solve the following system of equations?
y = 2x - 7
3x + 4y = 16