Problem-solving with Triangle Congruence