M.8.16.a: Lines are taken to lines, and line segments to line segments of the same length.