5.13. Midpoint of a Line Segment