Use the diagram below to choose all the true answers.Triangle ABC is congruent to triangle EDF.So, Kiran knows that there is a sequenceof rigid motions that takes ABC to EDF.

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