OB is the perpendicular bisector of the line segment DE