HS.G-SRT.4: Prove similarity theorems about triangles.