The perpendicular bisector of the line segment joining the points A(1