The SAS Similarity Theorem states that if an angle of one triangle is
congruent to an angle of another triangle, and if the lengths of the sides
including these angles are proportional, then the triangles are