8.G.1.a: Lines are congruent to lines.