Copy of Perpendicular bisector/endpoints theorem #2