Proving triangle congruence