perpendicular bisector theorem- Graham