Theorem ( about the perpendicular bisector of a segment)