G.GCO.8c: Any point on a perpendicular bisector of a line segment is equidistant from the endpoints of the segment.