Biconditional Statement for:
Perpendicular Bisector Theorem: A point is equidistant if and
only if the point is on the perpendicular bisector of a
segment.
Converse of the Perpendicular Bisector Theorem: A point is on
the perpendicular bisector of the segment if and only if the point
is equidistant from the endpoints of a segment.