concurrwency of perpendicular bisector theorm