Perpendicular bisector/endpoints theorem #2

Perpendicular bisector/endpoints theorem