The end points of a line segment are (13, 1)
and (17,-7).
What is the equation of the perpendicular
bisector of this line segment?
Give your answer in the form y = mx + c,
where m and c are integers or fractions in
their simplest forms.