Every Point on the Perpendicular Bisector of a Segment Is Equidistant from the End Points of the Segment