Concurrency of the Perpendicular Bisector Theorem