Equidistance Theorems - Perpendicular Bisector of a Line Segment