G-SRT.3: Use the properties of similarity transformations to establish the AA criterion for two triangles to be similar.