Triangle Congruence and Proofs