Perpendicular bisector theorem converse.gsp