M1.G.CO.B.3: Use definitions and theorems about lines and angles to solve problems and to justify relationships in geometric figures.