HS.G.7.a: Construct formal proofs to justify theorems for lines, angles and triangles.