Proving congruent triangles worked examples