The line with equation x + y = 2 meets the line with equation 2y − x = 7 at the point P.
Find the equation of the straight line that
passes through P and is perpendicular to the
line with equation y = 2x. Give your answer
in the form ax + by + c = 0.