Given that triangle ABC is congruent to triangle EDF, then:
∠A ≅ ∠E
∠B ≅ ∠D
∠C ≅ ∠F
AB ≅ ED
BC ≅ DF
AC ≅ EF
This means that ∠E is the image of ∠A.
This means that side EF is the image of side AC (not BC).
From the diagram, we can see that the sequence of rigid motions that takes ABC to EDF includes a rotation.
Reordering the letters of the names of the triangles, keeping the correspondence between angles and segments, triangle CBA is congruent to triangle FDE
