The Perpendicular Bisector Theorem