Congruent triangle proofs