GEO-G.SRT.4: Prove and apply similarity theorems about triangles.