Question:

If triangle ABC is congruent to triangle DEF through a sequence of transformations, what must be true about the lengths of the sides of the triangles?