8.G.A.1.a: Lines are taken to lines, and line segments to line segments of the same length.