Triangle ABC is congruent to triangle EDF. So, Mai knows that there is a sequence of rigid motions that takes ABC to EDF.

Select all true statements after the transformations.

1.) Segment BC coincides with segment DF.

2.) Segment AB coincides with segment EF.

3.) Segment AC coincides with segment ED.

4.) Angle B coincides with angle F

5.) Angle A coincides with angle E.