G.GSRT.4: Prove, and apply in mathematical and real-world contexts, theorems involving similarity about triangles, including the following: