What is the perpendicular bisector theorem?