Proving Congruence with a Triangle Congruence Theorem