NC.M2.G-CO.9d: Points are on a perpendicular bisector of a line segment if and only if they are equidistant from the endpoints of the segment.