triangles similarity congruence theorems congruent congruency corresponding
triangles similarity statement altitude
theorems triangle list common proving use when theorem congruence other if things