Proofs with congruent triangles