Use the given information to prove the following theorem.
If a point is on the perpendicular bisector of a segment, then it is equidistant from the endpoints of the segment.
We let be any point on line , but different from point .
