HS.G.11.b: (+) Prove theorems about triangles.