Concurrency of Perpendicular Bisectors