Exploring the triangle congruence theorems