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 P be any point on line I, but different from point X.