Solve by substitution