HS.G.11: Understand theorems about triangles. (MP.1, MP.3)