Congruent Triangles and Algebra