7) lies on the perpendicular bisector of the line segment joining the points P (6