12.2 Equidistance Theorems
Perpendicular Bisector Equidistance