prove that all congruent triangles are similar