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

triangles ABC and FDE, in which angles A and D are right angles

ΔABC ~ ΔFDE because of the definition of similarity in terms of similarity transformations
ΔABC ~ ΔFDE because of the AA similarity postulate
segment BC ~ segment EF because of the definition of similarity in terms of similarity transformations
segment BC ~ segment EF because corresponding parts of similar triangles are proportional