Some examples on how to write proofs for congruent triangles