G.CO.C.8: Use definitions and theorems about lines and angles to solve problems and to justify relationships in geometric figures.