9.2: Perpendicular Bisector