GM:G-SRT.B.4: Prove and apply theorems about triangles. Theorems include: a line parallel to one side of a triangle divides the other two proportionally, and conversely; the Pythagorean Theorem proved using triangle similarity; SAS similarity criteria; SSS similarity criteria; ASA similarity.