If a series of rigid transformations maps F onto C where F Is congruent to C, then which of the following statements is true?

ABC ~ ADEF because of the definition of similarity in terms of similarity transformations

ABC ~ AEDF because of the AA similarity postulate

AC ~ DF because corresponding parts of similar triangles are proportional

BC ~ DE because of the definition of similarity in terms of similarity transformations