Any Point Equidistant from the End Points of a Segment Lies on the Perpendicular Bisector of the Segment