Concurrency of perpendicular bisector theorem