applying congruent triangles