Methods of proving triangle congruence