Which theorem is the following?
"If a point is on the perpendicular bisector of a segment, then it is equidistant from the endpoints of the segment"